Buscar
Mostrando ítems 1-10 de 56
Las raíces del determinismo según Jan Lukasiewicz
El presente artículo pretende esbozar los argumentos que, apoyados en el sistema lógico de Aristóteles, utiliza Jan Lukasiewicz para superar el determinismo, rebatiéndolo desde sus raíces, basadas en los principios lógicos ...
Las raíces del determinismo según Jan Lukasiewicz
(Pontificia Universidad Javeriana, 2018)
A topological duality for tense θ -valued Łukasiewicz–Moisil algebras
(Springer Verlag Berlín, 2018-07)
In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chiriţă as an algebraic counterpart of the tense θ-valued Moisil propositional logic. In this paper we develop a topological ...
Many-Valued logics and translations
(1999-12-01)
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the ...
Free Łukasiewicz implication algebras
(Springer, 2008-06)
Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper ...
Completeness for monadic fuzzy logics via functional algebras
(Elsevier Science, 2021-03-01)
We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...
The Lattice of Subvarieties of Monadic Lukasiewicz Algebras
(Old City Publishing, Inc, 2007-12-28)
In this paper we describe the lattice of subvarieties of the variety ofmonadic Łukasiewicz-Moisil algebras. We then characterize all these subvarieties by means of identities.
Geometry of Robinson consistency in Łukasiewicz logic
(Elsevier Science, 2007-06)
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: ...
A topological duality for tense LMn-algebras and applications
(Oxford University Press, 2018-03)
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaconescu and Georgescu as an algebraic counterpart of the tense n-valued Moisil logic. In this article we continue the study ...